projects / dune-common.git / shortlog
| 2020-07-15 | Ansgar Burchardt | skip directories starting with a dot when looking for... | commit | commitdiff | tree | snapshot |
| 2020-07-15 | Debian Science... | soname | commit | commitdiff | tree | snapshot |
| 2020-07-15 | Ansgar | dune-common (2.7.0-5) unstable; urgency=medium | commit | commitdiff | tree | snapshot |
| 2020-07-15 | Ansgar | Import dune-common_2.7.0-5.debian.tar.xz | commit | commitdiff | tree | snapshot |
| 2020-05-20 | Ansgar | Import dune-common_2.7.0.orig.tar.gz | commit | commitdiff | tree | snapshot |